.editbox {
  margin: 5px;
  padding: 0;
  color: #000;
  font: 12px/14px "Courier New", Courier, monospace;
  }

pre.code, .editbox {
  color: #666666;
}

.editbox p {
  margin: 0;
}

span.js-punctuation {
  color: #009;
  font-weight: bold;
}

span.js-operator {
  color: #00F;
}

span.js-keyword {
  color: #000;
  font-weight: bold;
}

span.js-atom {
  color: #228811;
}

span.js-variable {
  color: black;
}

span.js-variabledef {
  color: #0000FF;
}

span.js-localvariable {
  color: #004499;
}

span.js-property {
  color: black;
}

span.js-comment {
  color: #999;
}

span.js-string {
  color: #00F;
}
